"Sergei Artemov" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

Автор: Sergei Artemov, Автор: Anil Nerode

Категория: Компьютеры

Размер книги: 6.28 Mb

Logical Foundations of Computer Science, LFCS 2007

Автор: Sergei Artemov, Автор: Anil Nerode

Категория: CsLn_

Размер книги: 8.34 Mb

Logical Foundations of Computer Science, LFCS 2009

Автор: Sergei Artemov, Автор: Anil Nerode

Категория: CsLn_

Размер книги: 7.65 Mb